From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk)
نویسنده
چکیده
Our goal is to approach the classes of computational complexity P, NP, and Pspace in a recursiontheoretic manner. Here we emphasize the connection between the structure of the recursion schemes and the underlying models of computation. 1998 ACM Subject Classification F.4.1 Mathematical Logic, F.1.1 Models of Computation, F.1.2 Modes of Computation, F.1.3 Complexity Measures and Classes
منابع مشابه
Deciding Hyperproperties
Hyperproperties, like observational determinism or symmetry, cannot be expressed as properties of individual computation traces, because they describe a relation between multiple computation traces. HyperLTL is a temporal logic that captures such relations through trace variables, which are introduced through existential and universal trace quantifiers and can be used to refer to multiple compu...
متن کاملPrediction of marital adjustment based on attachment styles and deterministic thinking of couples among students
Choosing spouse and entering into marriage is a turning point in the growth and character development. Certainly, the choice of partner is one of the most important decisions in life. The aim of this study was to determine the predictive value of marital adjustment through study of variables of attachment and determinism as predictors of marital adjustment. The study used a correlation method a...
متن کاملSocial and Ethical Responsibility against Social Determinism
Background: Because of the highlighted role of ethical responsibility in social and individual life, it is looked as an important issue in ethics area. Social responsibility that is defined as a sub-factor of ethical responsibility will have such an important place. What is discussed in responsibility discussions commonly is the “human will”. Responsibility is more based on the free will. In th...
متن کاملA comparative study of Determinism in the poems of IlyaAbuMadi, Khayyam and Hafiz
The question of determinism is one of the very old issues that has always preoccupied human mind. The key question is whether one is autonomous in onechr('39')s actions or they do not have any intentional behavior and that all they do is through deterministic measures. In this descriptive-analytic article, we attempt to examine the issue of determinism and authoritarianism in the poems of ...
متن کاملA study of Determinism and Free-will in Persian Proverbs
Proverbs as a part of colloquial literature are always nourished by religion, culture, traditions, and philosophical beliefs of a community, and thus they mirror the common beliefs of a people. The frequent repletion of a proverb pregnant with a specific thought makes that type of thought a behavioral pattern and affects the actions and behaviors of the people of a society. In the Iranian socie...
متن کامل